Article 6420

Title of the article

CONCEPTUAL MODELS OF FUNCTIONAL ARCHITECTURE OF MOBILE RECONFIGURABLE AGENT-ORIENTED
DISTRIBUTED COMPUTING SYSTEMS 

Authors

Volchihin Vladimir Ivanovich, Doctor of engineering sciences, professor, president of Penza State University (40 Krasnaya street, Penza, Russia), cnit@pnzgu.ru
Zinkin Sergey Aleksandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), vt@pnzgu.ru 
Karamysheva Nadezhda Sergeevna, Candidate of engineering sciences, associate professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia),vt@pnzgu.ru

Index UDK

004.9

DOI

10.21685/2072-3059-2020-4-6

Abstract

Background. At the current level of organization of distributed computing systems (DCS), it is necessary to take into account the mobility of components - computing nodes located on mobile platforms and software modules in the form of mobile agents. The organizing of the interactions of components in virtualized cloudnetwork DCS (CN DCS), the software of which is based on the platforms of mobile and stationary agents, and the hardware includes stationary and mobile computing nodes, is an urgent and complex problem. The object of the research is the functional architecture of the CN DCS. The subject of the research is a methodology for constructing a conceptual model of distributed computing in CN DCS. The aim of the study is to create a simple conceptual model (CM) of CN DCS, combining the properties of cloud and grid systems with the properties of multi-agent systems and suitable for the subsequent creation of software for applied and middleware levels of CN DCS by sequential detailing of the CM.
Materials and methods. During the research process, a model of a network of multi-tape Turing machines has being built and formalized specifications of network nodes are developed based on the theory of networks of abstract modules and executable logical-algebraic models.
Results. A generalized conceptual model of the functional architecture of an agent-oriented cloud-network DCS with variable structure and mobile software based on a network of multi-tape Turing machines is proposed. The new unified descriptions of the elements of the conceptual model - deterministic, non-deterministic and probabilistic Turing machines with variable configuration based on the apparatus of formalized specifications - networks of abstract modules are proposed.
Conclusions. A method for constructing a generalized conceptual model of the functional architecture of an agent-based CN DCS with a variable structure and mobile software based on a network of Turing machines, which allows a developer to evaluate the properties and determine the composition of DCS software of this type is proposed. It is assumed that, in practice, such a model is also suitable for the implementation on its basis of prototype software for systems of distributed and parallel symbolic multiprocessing of data. 

Key words

cloud-network distributed computing systems, agents, services, multi-agent systems, networks of multi-tape Turing machines, logical-algebraic specifications. 

Download PDF
References

1. Tanenbaum A. S., Van Steen M. Distributed Systems: principles and paradigms. 2nd Edition. Pearson Education, Inc., 2007, 669 p.
2. FIPA Specifications. Available at: http://www.fipa.org/specifications/index.html (accessed Nov. 12, 2019).
3. Bordini R. H. et al. Informatica. 2006, vol. 30, pp. 33–44.
4. Kravari K. A, Bassiliades N. Journal of Artificial Societies and Social Simulation. 2015, vol. 18 (1), no. 11, pp. 1–18.
5. Cynthia N., Gregory M. Journal of Artificial Societies and Social Simulation. 2009, vol. 12 (2). Available at: http://jasss.soc.surrey.ac.uk/12/2/2.html.
6. Bellifemine F. L., Caire G., Greenwood D. Developing multi-agent systems with JADE. Wiley. 2007, 300 p. DOI 10.1002/9780470058411
7. Gorodetsky V., Karsaev O., Samoylov V., Serebryakov S. The AAMAS Sixth International Workshop on Agents and Peer-to-Peer. Computing (AP2PC 2007). Honolulu,
2007, pp. 41–54.
8. Yadav M., Sethi P., Juneja D., Chauhan N. Int. Journal of Innovations & Advancement in Computer Science. 2015, vol. 4, Special Issue, pp. 245–251.
9. Evripidou P., Samaras G. Int. Journal of Parallel Programming. 2006, vol. 34, no. 5, pp. 429–458.
10. Barelos D., Pitoura E., Samaras G. Proc. of the ICDCS Workshop on Distributed Middleware (in conjunction with the 19th IEEE International Conference on Distributed Computing Systems (ICDCS99)). Austin, TX USA, 1999, pp. 90–95.
11. Samaras G., Karenos K., Chrysanthis P. K., Pitoura E. In Proc. 11th DEXA Int. Workshop on Mobility in Databases and Distributed Systems. 2003, pp. 974–979.
12. Md. Abu Kausar, Dhaka V. S., Sanjeev Kumar Singh International Journal of Information Technology and Computer Science (IJITCS). MECS Publisher. 2013, vol. 5,
no. 10, pp. 85–91.
13. Dada E. G., Joseph S. B., Mishra M. K. Radioelectronics&Informatics. 2010, no. 4, pp. 16–20.
14. Lange D., Oshima M. Programming and deploying Java mobile agents with aglets. Addison-Wesley Professional, 1998, 256 p.
15. Volchikhin V. I., Zinkin S. A., Karamysheva N. S. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings Volga region. Engineering sciences]. 2019, no. 4 (52), pp. 27–50. DOI 10.21685/2072-3059- 2019-4-3. [In Russian]
16. Evreinov E. V. Odnorodnye vychislitel'nye sistemy, struktury i sredy [Homogeneous computing systems, structures and environments]. Moscow: Radio i svyaz', 1981, 208 p. [In Russian]
17. Akho A., Khopkroft Dzh., Ul'man Dzh. Postroenie i analiz vychislitel'nykh algoritmov [The design and analysis of computer algorithms]. Moscow: Mir, 1979, 536 p. [In Russian]
18. Akho A., Ul'man Dzh. Teoriya sintaksicheskogo analiza, perevoda i kompilyatsii. Tom 1. Sintaksicheskiy analiz [The theory of parsing, translation and compiling. Volume 1. Parsing]. Moscow: Mir, 1978, 613 p. [In Russian]
19. Khopkroft D. E., Motvani R., Ul'man D. D. Vvedenie v teoriyu avtomatov, yazykov i vychisleniy [Introduction to automata theory, languages, and computation]. 2nd ed.:transl. from Engl. Moscow: Vil'yams, 2008, 528 p. [In Russian]
20. Gavrilov G. P., Sapozhenko A. A. Zadachi i uprazhneniya po diskretnoy matematike [discrete mathematics problems and exercises]. Moscow: Fizmatlit, 2005, 416 p.
[In Russian]
21. Sholomov L. A. Osnovy teorii diskretnykh logicheskikh i vychislitel'nykh ustroystv [Fundamentals of the theory of discrete logical and computing devices]. Moscow: Nauka, 1980, 400 p. [In Russian]
22. Kotov V. E., Sabel'fel'd V. K. Teoriya skhem programm [Program circuit theory]. Moscow: Nauka, 1991, 248 p. [In Russian]
23. Java Formal Languages and Automata Package [svobodnaya krossplatformennaya programma dlya eksperimentov s razlichnymi ob"ektami, vstrechayushchikhsya v teorii formal'nykh yazykov. Razrabatyvaetsya Universitetom D'yuka] [Java Formal Languages and Automata Package [a free cross-platform program for experimenting with various objects found in the theory of formal languages. Developed by Duke University]]. Available at: https://ru.wikipedia.org/wiki/JFLAP (accessed Oct. 31, 2020). [In Russian]
24. Mal'tsev A. I. Algebraicheskie sistemy [Algebraic Systems]. Moscow: Nauka, 1970, 393 p. [In Russian] 
25. Plotkin B. I. Universal'naya algebra, algebraicheskaya logika i bazy dannykh [Universal algebra, algebraic logic, and databases.]. Moscow: Nauka, 1991, 448 p. [In Russian] 
26. Gurevich Y. Foundations of Information and Knowledge Systems. Lect. Notes Comput. Sci. 2004, vol. 2942, pp. 6–13.
27. Boerger E. Annals of Pure and Applied Logic. 2005, vol. 133, pp. 149–171.
28. Andon F. I., Doroshenko A. E., Tseytlin G. E., Yatsenko E. A. Algebroalgoritmicheskie modeli i metody parallel'nogo programmirovaniya [Algebraic algorithmic models and methods of parallel programming]. Kiev: Akademperiodika. 2007, 634 p.
29. Glushkov V. M., Tseytlin G. E., Yushchenko E. L. Algebra. Yazyki. Programmirovanie [Algebra. Languages. Programming]. 3rd ed., rev. and suppl. Kiev: Naukova dumka, 1989, 376 p.
30. Pashchenko D. V., Zinkin S. A., Mustafa Sadeq Jaafar, Trokoz D. A., Pashchenko T. U., Sinev M. P. Proceedings of the 4th International Conference on Science & Engineering in Mathematics, Chemistry and Physics (SciTech 2016) (Bandung, Indonesia, April 23– 24, 2016). 2016, vol. 710, p. 012024. DOI 10.1088/1742-6596/710/1/012024.
31. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2007, no. 4, pp. 37–51. [In Russian]
32. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2007, no. 3, pp. 13–22. [In Russian]
33. Zinkin S. A. Informatsionnye tekhnologii [Information technologies]. 2008, no. 10, pp. 20–27. [In Russian]
34. Kolmogorov A. N., Dragalin A. G. Matematicheskaya logika [Mathematical logic]. Moscow: Izd-vo URSS, MGU, 2005, 240 p. [In Russian]
35. Polikarpova N. I., Shalyto A. A. Avtomatnoe programmirovanie [Automated programming]. Saint-Petersburg: Izd-vo Sankt-Peterburgskogo gosudarstvennogo universiteta informatsionnykh tekhnologiy, mekhaniki i optiki, 2008, 167 p. [In Russian]
36. Tukkel' N. I., Shalyto A. A. Mir PK [PC world]. 2002, no. 2, pp. 144–149. [In Russian]
37. Mashina T'yuringa [Turing machine]. Available at: https://ru.wikipedia.org/wiki/ Mashina_T'yuringa (accessed Oct. 31, 2020). [In Russian] 
38. Graves A., Wayne G., Danihelka I. Neural Turing Machines. London, UK, 2014, pp. 1–
26. arXiv:1410.5401

 

Дата создания: 17.02.2021 12:12
Дата обновления: 17.02.2021 13:29